Proposition :
Soient \(E\), \(F\) des ensembles et \(f:E\to F\) une application
- \(f\) est bijective si et seulement s'il existe une application \(g:F\to E\) telle que \(f\circ g=Id_F\) et \(g\circ f=Id_E\)
- Si \(f\) est bijective, alors \(g\) est unique et bijective
- On dit que l'application \(g\) est la bijection réciproque de \(f\) et on note \(g={{f^{-1} }}\)
(Bijection, Application identité)
Dérivée d’une fonction réciproque
Les représentations graphiques de une fonction et de sa réciproque sont symétriques par rapport à la droite d'équation \(y=x\)
(Symétrie, Application identité)